int printf(char*,...);


int main(int argc, char const *argv[])
{
    printf("%c\n", 0141);
    return 0;
}
